if follows that

由此得出,可见,从而